در سال¬های اخیر روش¬های عملیات، پردازش و همچنین تفسیر داده¬های لرزه¬ای پیشرفت چشمگیری داشته است و امکان تصویرسازی دقیق ساختارهای پیچیده¬ی زمین¬شناسی فراهم آمده است. گاهی پاسخ لرزه¬ای رویداد زمین¬شناسی در گستره¬ی وسیعی از پهنای باند فرکانسی پنهان شده است. در این راستا روش¬های تجزیه¬ی طیفی مفسر را قادر می¬سازد که اجزای فرکانسی داده¬ی لرزه¬ای را به¬منظور تفسیر و درک جزئیات دقیقتر زیرزمینی بکار بگی...

تجزیه طیفی دادههای لرزه ای با کمک تبدیل های زمان-فرکانس، دامنه های لرزه ای را که تابعی از زمان و مکان هستند به دامنه های طیفی که تابع فرکانس، زمان و مکان هستند، تبدیل می کنند .این ابزار در زمینه های مختلف مانند تعیین ضخامت لایه، نمایش رخساره های چینه ای، توصیف مشخصات مخزن و اکتشاف مستقیم منابع هیدروکربور کاربرد دارند. کاملاً واضح است که هر چه قدرت تفکیک زمانی و فرکانسی در صفحه زمان – فرکانس بیشت...

در دنیای فیزیکی هر کمیتی که نمایش متغیری در فضا یا زمان داشته باشد یک سیگنال است که میتواند اطلاعاتی در مورد وضعیت سیستم فیزیکی بدهد و یا حامل پیام بین ناظرین باشد. اما برای استخراج اطلاعات از سیگنال ها و تشخیص ویژگی های مهم آنها یک تکنیک پردازش سیگنال مناسب, مورد نیاز است. سنتی ترین ابزار آنالیز سیگنال‎,‎ تبدیل فوریه است که بازنمایشی از سیگنال در دامنه فرکانس ارائه میدهد. در این پایان نامه ابت...

از آنجایی که سیگنال های لرزه ای سیگنال هایی ناپایا می باشند تجزیه طیفی به عنوان یک ابزار قوی در تجزیه و تحلیل این سیگنال ها به گستردگی مورد استفاده قرار می گیرد. تجزیه طیفی دادههای لرزه ای، دامنه های لرزه ای را که تابعی از زمان و مکان هستند به دامنه های طیفی که تابع فرکانس، زمان و مکان هستند، تبدیل می کنند .این ابزار در زمینه های مختلفی مانند تعیین ضخامت لایه، نمایش رخساره های چینه ای، توصیف مش...

در این پایان نامه ابتدا ضمن بیان تاریخچه ی مختصری از معادله ی شرودینگر، مروری بر ویژگیها و بستگی زمانی جواب های آن خواهیم داشت. سپس چند روش حل معادله ی شرودینگر نظیر سیستمهای وابسته به زمان را معرفی می کنیم. در ادامه با کاربرد دو روش، معادله ی شرودینگر را برای سیستمی با جرم و پتانسیل خطی وابسته به زمان حل کرده و جواب های حاصل را با هم مقایسه می کنیم. سپس با استفاده از روش تبدیل کانونیکی، ویژه ت...

سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم...